Comme le montrent les théorèmes d`incomplétude de Gödel, les théories du premier ordre qui sont récursivement axiomatisables et qui sont assez riches pour exprimer l`arithmétique ne peuvent pas être complètes. Trouvé sur https://fr.wikipedia.org/wiki/Théorie_complète
Aucun résultat n’a été trouvé dans l’encyclopédie.
Comme le montrent les théorèmes d`incomplétude de Gödel, les théories du premier ordre qui sont récursivement axiomatisables et qui sont assez riches pour exprimer l`arithmétique ne peuvent pas être complètes.